点和区间包含关系的安全判定是指两个用户基于各自的输入信息,共同完成区间是否包含点的判定,并且双方都不能获得对方的输入信息,......

代理重加密能够实现解密权限的转换,而鲁棒门限代理重加密(Threshold Proxy Re-Encryption,TPRE)不仅支持安全灵活的转化控制,而且......

为探讨二阶线性半群间的同态问题,在引进标准型、延断型、平凡型概念的基础上,通过矩阵计算与群的定义关系,描述了二元域F2上的线......

讨论了对合Quantale上对合运算使其元素，所具备的特殊性质，给出若干对合Quantale例子．然后定义了子对合Quantale，并对它们的同态进行了......

引入了反模糊理想、反模糊H-理想的概念，提供了它们的几个例子，研究了它们的一些性质．研究了反模糊理想（反模糊H-理想）的同态象与同态原......

讨论了加权有限自动机的变换幺半群,并通过加权有限自动机的同余关系,提出了语法幺半群的概念,给出了语法幺半群有限的条件,并建立......